Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 3.Ident. | Authors (with country if any) | Title |
---|---|---|
009F36 | Marie-Claude Gaudel [France] ; Alexandre Zamulin | Algebraic Imperative Specifications |
00AA07 | Marie-Claude Gaudel [France] ; Carole Khoury [France] ; Alexandre Zamulin | Dynamic Systems with Implicit State |
00D635 | Marie-Claude Gaudel [France] | Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives |
This area was generated with Dilib version V0.6.33. |